/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/
#ifndef KERNEL__ARCH_TYPES_H
#define KERNEL__ARCH_TYPES_H

#include <stdint.h>

typedef uint32_t pa_t; //!< Physical address type
typedef uint32_t va_t; //!< Virtual address type

#endif /* !KERNEL__ARCH_TYPES_H */

